Quick Look
GHC-9.2
非可述多相
の型推論
ImpredicativeTypes
の内部のアルゴリズムのこと
https://techblog.asahi-net.co.jp/entry/2022/05/23/162236
https://drive.google.com/file/d/1kPEGux6w_9GgTziRwfDCPH5fRea_vhls/view
Haskell Day 2021
のスライド
ちょっとだけ出てくる